<?php
  include_once('../tool_dir.php');
  include_once('../tool_file.php');
  $all_filenames = Tool_dir::get_files_regexp('./','/bench_.*php$/');
  foreach($all_filenames as $filename){
    if($filename != './bench_all.php'){
      $cmd = "php $filename";
      print "run :: $cmd\n";
      system($cmd);
      print "\n";
    }
  }
  


?>
